Bi multzoren arteko korrespondentzia bati buruz, multzo bateko elementu bakoitzari (berdin dio lehenengo multzokoa den edo bigarren multzokoa den) beste multzoko elementu bakar bat dagokiola adierazten duena.